Modal Tableau Systems with Blocking and Congruence Closure
Identifieur interne : 000354 ( Main/Exploration ); précédent : 000353; suivant : 000355Modal Tableau Systems with Blocking and Congruence Closure
Auteurs : Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne]Source :
Url:
DOI: 10.1007/978-3-319-24312-2_4
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 003246
- to stream Hal, to step Curation: 003246
- to stream Hal, to step Checkpoint: 000331
- to stream Main, to step Merge: 000354
- to stream Main, to step Curation: 000354
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Modal Tableau Systems with Blocking and Congruence Closure</title><author><name sortKey="Schmidt, Renate" sort="Schmidt, Renate" uniqKey="Schmidt R" first="Renate" last="Schmidt">Renate Schmidt</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-90659" status="VALID"><orgName>School of Computer Science [Manchester]</orgName><desc><address><addrLine>University of Manchester Oxford Road Manchester M13 9PL UK</addrLine><country key="GB"></country></address><ref type="url">http://intranet.cs.man.ac.uk/Intranet_subweb/</ref></desc><listRelation><relation active="#struct-121172" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-121172" type="direct"><org type="institution" xml:id="struct-121172" status="VALID"><orgName>The University of Manchester [Manchester]</orgName><desc><address><addrLine>Oxford Rd, Manchester M13 9PL</addrLine><country key="GB"></country></address><ref type="url">http://www.manchester.ac.uk/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Royaume-Uni</country></affiliation></author><author><name sortKey="Waldmann, Uwe" sort="Waldmann, Uwe" uniqKey="Waldmann U" first="Uwe" last="Waldmann">Uwe Waldmann</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName><orgName type="acronym">MPII</orgName><desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine><country key="DE"></country></address><ref type="url">http://www.mpi-inf.mpg.de/</ref></desc><listRelation><relation active="#struct-300044" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>Allemagne</country><orgName type="university">Société Max-Planck</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01251380</idno><idno type="halId">hal-01251380</idno><idno type="halUri">https://hal.inria.fr/hal-01251380</idno><idno type="url">https://hal.inria.fr/hal-01251380</idno><idno type="doi">10.1007/978-3-319-24312-2_4</idno><date when="2015-09">2015-09</date><idno type="wicri:Area/Hal/Corpus">003246</idno><idno type="wicri:Area/Hal/Curation">003246</idno><idno type="wicri:Area/Hal/Checkpoint">000331</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000331</idno><idno type="wicri:Area/Main/Merge">000354</idno><idno type="wicri:Area/Main/Curation">000354</idno><idno type="wicri:Area/Main/Exploration">000354</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Modal Tableau Systems with Blocking and Congruence Closure</title><author><name sortKey="Schmidt, Renate" sort="Schmidt, Renate" uniqKey="Schmidt R" first="Renate" last="Schmidt">Renate Schmidt</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-90659" status="VALID"><orgName>School of Computer Science [Manchester]</orgName><desc><address><addrLine>University of Manchester Oxford Road Manchester M13 9PL UK</addrLine><country key="GB"></country></address><ref type="url">http://intranet.cs.man.ac.uk/Intranet_subweb/</ref></desc><listRelation><relation active="#struct-121172" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-121172" type="direct"><org type="institution" xml:id="struct-121172" status="VALID"><orgName>The University of Manchester [Manchester]</orgName><desc><address><addrLine>Oxford Rd, Manchester M13 9PL</addrLine><country key="GB"></country></address><ref type="url">http://www.manchester.ac.uk/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Royaume-Uni</country></affiliation></author><author><name sortKey="Waldmann, Uwe" sort="Waldmann, Uwe" uniqKey="Waldmann U" first="Uwe" last="Waldmann">Uwe Waldmann</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName><orgName type="acronym">MPII</orgName><desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine><country key="DE"></country></address><ref type="url">http://www.mpi-inf.mpg.de/</ref></desc><listRelation><relation active="#struct-300044" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>Allemagne</country><orgName type="university">Société Max-Planck</orgName></affiliation></author></analytic><idno type="DOI">10.1007/978-3-319-24312-2_4</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader></TEI><affiliations><list><country><li>Allemagne</li><li>Royaume-Uni</li></country><orgName><li>Société Max-Planck</li></orgName></list><tree><country name="Royaume-Uni"><noRegion><name sortKey="Schmidt, Renate" sort="Schmidt, Renate" uniqKey="Schmidt R" first="Renate" last="Schmidt">Renate Schmidt</name></noRegion></country><country name="Allemagne"><noRegion><name sortKey="Waldmann, Uwe" sort="Waldmann, Uwe" uniqKey="Waldmann U" first="Uwe" last="Waldmann">Uwe Waldmann</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000354 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000354 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-01251380
|texte= Modal Tableau Systems with Blocking and Congruence Closure
}}
| This area was generated with Dilib version V0.6.33. |  |